Classification of software defects in parallel programs
نویسندگان
چکیده
In this survey we investigate frameworks for systematic detection of errors in parallel programs. For sequential programs there are two basic classifications of errors. One is related to the total quality assurance in the software life cycle development. Another concentrates on logical properties of software defects. We systematically review existing terminology in order to characterize the relationships between them when applied to parallel software. We illustrate our ideas with some realistic programming examples. Our conclusions provide a proper platform for systematic parallel software testing. It is essential for specifying the testing and debugging tools.
منابع مشابه
Massively Parallel Programming Languages – A Classification of Design Approaches
This paper presents the results of a study in which we examined about 50 parallel programming languages in order to detect typical approaches towards supporting massive parallelism. Based on a classification into nine classes, semantic properties affecting the development of parallel programs are compared. From a consideration of the general function of programming languages in software enginee...
متن کاملComparing the Accuracy of Cone Beam Computed Tomography,Digital Intraoral Radiography and Conventional Intraoral Radiography in the Measurement of Periodontal Bone Defects
Background and Aim: Cone beam computed tomography (CBCT) produces high-quality data in periodontal diagnosis and treatment planning. The aim of this study was to compare the accuracy of CBCT with intraoral digital and conventional radiography in the measurement of periodontal bone defects. Methods and Materials: In this diagnostic research, two hundred and eighteen artificial osseous d...
متن کاملDiagnosis of genetic defects through parallel assessment of PLCζ and CAPZA3 in infertile men with history of failed oocyte activation
Objective(s): Phospholipase C ζ (PLCζ) is considered as a nominee for sperm associated oocyte activating factors and is located back-to-back with CAPZA3, an actin-capping protein controlling actin polymerization during spermiogenesis. They contain a common bidirectional promoter. The objective of this study was to identify individuals with parallel low expression of PLCζ and CAPZA3 mRNA, in hop...
متن کاملIdentifying Defects Related to the Order in which Messages are Received in Message-Passing Systems
Improving the quality of software artifacts and products is an essential activity for everyone working on the development of software. Testing is one approach to reveal defects and faults in software. In recent years, message-passing systems have grown to a significant degree due to the rise of distributed systems, embedded systems, and so forth. In messagepassing systems, components communicat...
متن کاملSoftware reuse and portability of parallel programs
The state-of-the-art of programming parallel computers is far from being successful. The main challenge today is therefore the development of techniques and tools that improve the programmer’s situation. Software reuse and software portability are two research areas where further progress is essential. We present an approach that is applicable for compute-intensive programs with regular process...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994